An axiomatic definition of the programming language PASCAL

An Improved Axiomatic Definition of Information Granulation

To capture the uncertainty of information or knowledge in information systems, various information granulations, also known as knowledge granulations, have been proposed. Recently, several axiomatic definitions of information granulation have been introduced. In this paper, we try to improve these axiomatic definitions and give a universal construction of information granulation by relating inf...

Vector Pascal, an array language

Vector Pascal is a language designed to support elegant and efficient expression of algorithms using the SIMD model of computation. It imports into Pascal abstraction mechanisms derived from functional languages having their origins in APL. In particular it extends all operators to work on vectors of data. The type system is extended to handle pixels and dimensional analysis. Code generation is...

Assessing the utility of an interactive electronic book for learning the Pascal programming language

Hypermedia is a broadly accepted technique to develop educational systems since its hypertext structure reflects a model of learning based on the students’ semantic memory model and the use of multimedia provides interactive mechanisms that allow managing, manipulating, and organizing the lessons. A hypermedia electronic book called CIPP (Curso Interactivo de Programacion en Pascal) is introduc...

An Interactive Programming System for Pascal

Interactive program development tools are being increasingly recognized as helpful in the construction of programs. This paper describes an integrated incremental program development system for Pascal called Pathcal. Pathcal contains facilities for creation, editing, debugging and testing of procedures and programs. The system facilities are all Pascal procedures or variables and because of thi...

An Axiomatic Semantics of Concurrent Programming Languages